$\forall$$r$:Rng, $a$:$\mid$$r$$\mid$. ($a$ +$r$ ({-}$r$($a$))) = 0 $\in$ $\mid$$r$$\mid$ \& (({-}$r$($a$)) +$r$ $a$) = 0 $\in$ $\mid$$r$$\mid$